Vic-sur-Seille (Moselle). 34, rue Meynier

Results about Rue Resolution

Extensional Higher-Order Paramodulation and RUE-Resolution

This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP adapting traditional first-order (FO) paramodulation [RW69] , and a calculus ERUE adapting FO RUE-Resolution [Dig79] to classical type theory, i.e., HO logic based on Church’s simply typed λ-calculus. EP and ERUE extend the extensional HO resolution approach ER [BK98a...

VIC / GOES Radiation Evaluation

A recently published paper by Roads et al (2003) describing the GCIP Water and Energy Balance Synthesis (WEBS) showed that the Variable Infiltration Capacity model (VIC) model under-simulates “observations” of net solar radiation by an average of 50 w/m in the summer months of 19961999 over the Mississippi basin. The net solar radiation “observations” used by Roads et al (2003) are a GOES-based...

VIc Hadron-Proton Collisions

Data on inclusive jet production in the transverse-momentum (pJ.) range 0-8 GeV /c for 200-GeV/c p, 1r-, 1r+, K-, K+, and]) incident on a hydrogen target are presented. The jet cross section is fully corrected for losses and biases, and compared with the predictions of a model based on quantum chromodynamics. Both the absolute cross section and the inclusive charged-particle distributions insid...

35 rue Saint-Honoré, Fontainebleau

The graph matching problem is among the most important challenges of graph processing, and plays a central role in various fields of pattern recognition. We propose an approximate method for labeled weighted graph matching, based on a convexconcave programming approach which can be applied to the matching of large sized graphs. This method allows to easily integrate information on graph label s...